$\forall$$i$:Id, $A$:MsgA, $M$:System. @$i$: $A$ $\subseteq$ $M$ $\Leftrightarrow$ $A$ $\subseteq$ $M$($i$)